cyrille artho
Formal Techniques for Safety-Critical Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, ...
Formal Techniques for Safety-Critical Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the Third International Workshop on Formal Tech...
Formal Techniques for Safety-Critical Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 4th International Workshop on Formal Techni...
Formal Techniques for Safety-Critical Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 5th International Workshop on Formal Techni...
Formal Techniques for Safety-Critical Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 6th International Workshop on Formal Techni...
Automated Technology for Verification and Analysis
EbookSofort lieferbarThis book constitutes the proceedings of the 14th International Symposium on Automated Technology...
- 1