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)

Uloženo v:

Podrobná bibliografie
Vydáno v:	Electronic Proceedings in Theoretical Computer Science Ročník 271
Hlavní autoři:	Laleau, Régine, Méry, Dominique, Nakajima, Shin, Troubitsyna, Elena
Médium:	Journal Article
Jazyk:	japonština
Vydáno:	Open Publishing Association 12.05.2018
Témata:	[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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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