Showing 1 - 3 results of 3 for search 'Schewe, Klaus-Dieter', query time: 0.01s Refine Results
1
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, june 2-6, 2014, proceedings /
Published 2014
Other Authors: “...Schewe, Klaus-Dieter...”
Ver documento en línea
Conference Proceeding Book
2
ABZ 2014 : The Landing gear case study: Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings /
Published 2014
Other Authors: “...Schewe, Klaus-Dieter...”
Ver documento en línea
Book
3
Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, proceedings /
Published 2016
Other Authors: “...Schewe, Klaus-Dieter...”
Ver documento en línea
Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search