Johnsen, Einar Broch
Johnsen, E.B.
Broch Johnsen, Einar, 19..-....
Johnsen, E.B. (Einar Broch)
VIAF ID: 96149294110280520910 ( Personal )
Permalink: http://viaf.org/viaf/96149294110280520910
Preferred Forms
- 100 1 _ ‡a Broch Johnsen, Einar, ‡d 19..-....
-
-
-
- 100 1 _ ‡a Johnsen, Einar Broch
- 100 1 _ ‡a Johnsen, Einar Broch
- 100 1 _ ‡a Johnsen, Einar Broch
-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Active Object Languages: Current Research Trends | |
Combining graphical and formal development of open distributed systems | |
FMOODS 2007 | |
Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures | |
Formal methods for open object-based distributed systems, c2007: | |
Forty years of the University of Minnesota | |
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings | |
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings | |
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems | |
Manöver-zentrierter, formaler Entwicklungsansatz für cyber-physische Systeme | |
Service-Oriented and Cloud Computing : 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings | |
Support à l'exécution pour objets actifs multi-threadés : conception et implémentation | |
Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday |