Tertiary Links
Publications
Education
Resources
People
Sponsors
Careers
Contact
Alumni
Secondary links
Login
Search this site:
Primary links
Projects
Active Projects
Archived Projects
Tools
Research
Model Integrated Computing
Smart Cities
Distributed Object Computing
Network Embedded Systems
Cyber-Physical Systems
Education Technology
Smart Mobility
Modeling and Analysis of Complex Systems
Careers
Internships
Calendar
Proposal Questionnaire
ISIS VPN
Printers
Home
›
patrik85
patrik85
View
Publications
2018
Meijer, P.
, and
A. Mavridou
,
How to Build a Design Studio with WebGME
,
, Nashville, Institute for Software Integrated Systems, 05/09/2018.
Tagged
XML
BibTex
Google Scholar
Download:
isis-tech-report-How-to-Build-a-Design-Studio-with-WebGME.pdf
(786.59 KB)
2016
Lattmann, Z.
,
T. Kecskes
,
P. Meijer
,
G. Karsai
,
P. Volgyesi
, and
A. Ledeczi
,
"
Abstractions for Modeling Complex Systems
",
ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
, Corfu, Greece, 2016.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
AbstractionsForModelingComplexSystems.pdf
(697.83 KB)