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žené v:

Podrobná bibliografia
Vydané v:	Electronic Proceedings in Theoretical Computer Science Ročník 271
Hlavní autori:	Laleau, Régine, Méry, Dominique, Nakajima, Shin, Troubitsyna, Elena
Médium:	Journal Article
Jazyk:	Japanese
Vydavateľské údaje:	Open Publishing Association 12.05.2018
Predmet:	[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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

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