Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "AppFM@FM"( http://dblp.L3S.de/Venues/AppFM@FM )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2021 (7)
Publication types (Num. hits)
inproceedings(6) proceedings(1)
Venues (Conferences, Journals, ...)
AppFM@FM(7)
Authors
Alexandra Mendes(1) Andrea Bombarda(1) Angelo Gargantini(1) Carolina Carreira(1) Daniel Welch 0001(1) Elvinia Riccobene(1) Frédéric Lang(1) Frédéric Loulergue(1) Hubert Garavel(1) Jaco van de Pol(1) Jim Woodcock 0001(1) João F. Ferreira 0001(1) Lorenzo Capra(1) Mario Gleirscher(1) Murali Sitaraman(1) Nicolas Christin(1) More (+10 of total 21)
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
1Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. Search on Bibsonomy AppFM@FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Lorenzo Capra A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems. Search on Bibsonomy AppFM@FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Salwa Souaf, Frédéric Loulergue Experience Report: Teaching Code Analysis and Verification Using Frama-C. Search on Bibsonomy AppFM@FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Hubert Garavel, Frédéric Lang, Radu Mateescu 0001, Wendelin Serwe Is CADP an Applicable Formal Method? Search on Bibsonomy AppFM@FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Carolina Carreira, João F. Ferreira 0001, Alexandra Mendes, Nicolas Christin Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda. Search on Bibsonomy AppFM@FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Mario Gleirscher, Jaco van de Pol, Jim Woodcock 0001 (eds.) Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. Search on Bibsonomy AppFM@FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yu-Shan Sun, Daniel Welch 0001, Murali Sitaraman F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails. Search on Bibsonomy AppFM@FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license