Found: 7
Select item for more details and to access through your institution.
Validating timed UML models by simulation and verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 128, doi. 10.1007/s10009-005-0205-x
- By:
- Publication type:
- Article
A real-time profile for UML.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 113, doi. 10.1007/s10009-005-0213-x
- By:
- Publication type:
- Article
Contract-based modeling and verification of timed safety requirements within SysML.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 2, p. 587, doi. 10.1007/s10270-015-0481-1
- By:
- Publication type:
- Article
Supporting UML-based development of embedded systems by formal techniques.
- Published in:
- Software & Systems Modeling, 2008, v. 7, n. 2, p. 131, doi. 10.1007/s10270-006-0043-7
- By:
- Publication type:
- Article
Certification of avionic software based on machine learning: the case for formal monotony analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 189, doi. 10.1007/s10009-024-00741-6
- By:
- Publication type:
- Article
Applying MDE to ROS Systems: A Comparative Analysis.
- Published in:
- Scientific Annals of Computer Science, 2021, v. 31, n. 1, p. 111, doi. 10.7561/SACS.2021.1.111
- By:
- Publication type:
- Article
Formal Verification of Emergent Properties.
- Published in:
- Informatica (03505596), 2021, v. 45, n. 3, p. 463, doi. 10.31449/inf.v45i3.3160
- By:
- Publication type:
- Article