|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali |
A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab.  |
FMDT@FM  |
2023 |
DBLP BibTeX RDF |
|
| 1 | Sylvain Hallé, Chukri Soueidi, Yliès Falcone |
Leveraging Runtime Verification for the Monitoring of Digital Twins. |
FMDT@FM |
2023 |
DBLP BibTeX RDF |
|
| 1 | Jonas Schiffl, Alexander Weigl |
Are Formal Contracts a Useful Digital Twin of Software Systems? |
FMDT@FM |
2023 |
DBLP BibTeX RDF |
|
| 1 | Andrea Pferscher, Benjamin Wunderling, Bernhard K. Aichernig, Edi Muskardin |
Mining Digital Twins of a VPN Server. |
FMDT@FM |
2023 |
DBLP BibTeX RDF |
|
| 1 | Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen |
Emerging Challenges in Compositionality and Correctness for Digital Twins. |
FMDT@FM |
2023 |
DBLP BibTeX RDF |
|
| 1 | Stefan Hallerstede, Eduard Kamburjan (eds.) |
Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023. |
FMDT@FM |
2023 |
DBLP BibTeX RDF |
|
| 1 | Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen |
Digital Twin for Rescue Missions - a Case Study. |
FMDT@FM |
2023 |
DBLP BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license