Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Electronic Proceedings in Theoretical Computer Science Jg. 271
Hauptverfasser:	Laleau, Régine, Méry, Dominique, Nakajima, Shin, Troubitsyna, Elena
Format:	Journal Article
Sprache:	Japanisch
Veröffentlicht:	Open Publishing Association 12.05.2018
Schlagworte:	[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS] [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] [INFO]Computer Science [cs] Computer Science - Logic in Computer Science Computer Science - Software Engineering FOS: Computer and information sciences Logic in Computer Science (cs.LO) Software Engineering (cs.SE)
ISSN:	2075-2180
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISSN:	2075-2180
DOI:	10.4204/eptcs.271