books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 3; Issue 2
Main
Software & Systems Modeling
Volume 3; Issue 2
Software & Systems Modeling
Volume 3; Issue 2
1
A component framework for system modeling based on high-level replacement systems
Hartmut Ehrig
,
Fernando Orejas
,
Benjamin Braatz
,
Markus Klein
,
Martti Piirainen
Journal:
Software & Systems Modeling
Year:
2004
Language:
english
File:
PDF, 1.09 MB
Your tags:
english, 2004
2
Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference
Nik Swoboda
,
Gerard Allwein
Journal:
Software & Systems Modeling
Year:
2004
Language:
english
File:
PDF, 574 KB
Your tags:
english, 2004
3
A method for describing the syntax and semantics of UML statecharts
Yan Jin
,
Robert Esser
,
Jörn W. Janneck
Journal:
Software & Systems Modeling
Year:
2004
Language:
english
File:
PDF, 1.24 MB
Your tags:
english, 2004
4
Scenario animation for visual behavior models: A generic approach
Claudia Ermel
,
Roswitha Bardohl
Journal:
Software & Systems Modeling
Year:
2004
Language:
english
File:
PDF, 1.01 MB
Your tags:
english, 2004
5
Introductory paper
Paolo Bottoni
,
Mark Minas
Journal:
Software & Systems Modeling
Year:
2004
Language:
english
File:
PDF, 52 KB
Your tags:
english, 2004
6
Automated formal verification of visual modeling languages by model checking
Dániel Varró
Journal:
Software & Systems Modeling
Year:
2004
Language:
english
File:
PDF, 877 KB
Your tags:
english, 2004
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×
