ℹ️
🇬🇧
Search
Search for publications relevant for "assume-guarantee"
assume-guarantee
Publication
Class
Person
Publication
Programmes
publication
Assume-Guarantee Verification of Software Components in SOFA 2 Framework
2010 |
Faculty of Mathematics and Physics
publication
Formalization of Invariant Patterns for the Invariant Refinement Method
2015 |
Faculty of Mathematics and Physics
publication
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities
+1
2008 |
Faculty of Mathematics and Physics