Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
Iulian Ober
Latest
Modeling and verification method for an early evaluation of Systems of Systems interactions
Modeling and verification method for an early evaluation of systems of systems interactions
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation
Definition of states and modes as general concepts for system design and validation
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation
Cite
×