Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Explicit Modelling of Physical Measures: From Event-B to Java
Electronic proceedings in theoretical computer science, 2018-01, Vol.271 (Proc. IMPEX 2017 and FM&MDD 2017), p.64-79
2018
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Third Workshop on Formal Integrated Development Environment: Preface
Electronic proceedings in theoretical computer science, 2017-01, Vol.240
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
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): Preface
Electronic proceedings in theoretical computer science, 2018-05, Vol.271
2018
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Proceedings Second International Workshop on Formal Integrated Development Environment: Preface
Electronic proceedings in theoretical computer science, 2015-08, Vol.187
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Proceedings Second International Workshop on Formal Integrated Development Environment: Demo Session
Electronic proceedings in theoretical computer science, 2015-08, Vol.187
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Proceedings 1st Workshop on Formal Integrated Development Environment: Preface
Electronic proceedings in theoretical computer science, 2014-04, Vol.149
2014
Link zum Volltext
Verfügbarkeit prüfen
1 – 6 von 6
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieElectronic Proceedings In Theoretical Computer Science
Suchergebnisse filtern
Filter anzeigen