Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Naoki Noguchi, Mamoru Sawahashi, Satoshi Nagata |
Cell search time performance using PVS transmit diversity in heterogeneous networks with the same frequency spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCC ![In: 21st Asia-Pacific Conference on Communications, APCC 2015, Kyoto, Japan, October 14-16, 2015, pp. 1-5, 2015, IEEE, 978-4-8855-2301-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Robert M. Hyatt |
A Solution to Short PVS Caused by Exact Hash Matches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Int. Comput. Games Assoc. ![In: J. Int. Comput. Games Assoc. 37(3), pp. 178-181, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias |
Dynamite: A tool for the verification of alloy models based on PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 23(2), pp. 20:1-20:37, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Andréia Borges Avelar, André Luiz Galdino, Flávio Leonardo Cavalcanti de Moura, Mauricio Ayala-Rincón |
First-order unification in the PVS proof assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 22(5), pp. 758-789, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Sabrina Titri, Cherif Larbes, Kamal Youcef-Toumi |
Rapid prototyping of PVS into FPGA: From model based design to FPGA/ASICs implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDT ![In: 9th International Design and Test Symposium, IDT 2014, Algeries, Algeria, December 16-18, 2014, pp. 162-167, 2014, IEEE, 978-1-4799-8200-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | William Denman, César A. Muñoz |
Automated Real Proving in PVS via MetiTarski. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, pp. 194-199, 2014, Springer, 978-3-319-06409-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Mohammad Chehreghani Bozchalui, Chenrui Jin, Ratnesh K. Sharma |
Rolling Stochastic Optimization based operation of distribution systems with PVs and Energy Storages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT ![In: IEEE PES Innovative Smart Grid Technologies Conference, ISGT 2014, Washington, DC, USA, February 19-22, 2014, pp. 1-5, 2014, IEEE, 978-1-4799-3652-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Ariane Alves Almeida, Carlos H. Llanos, Janier Arias-Garcia, Mauricio Ayala-Rincón |
Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, Aracaju, Brazil, September 1-5, 2014, pp. 14:1-14:8, 2014, ACM, 978-1-4503-3156-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Yufei Tang, Jun Yang 0019, Jun Yan 0007, Zhili Zeng, Haibo He |
Frequency control using on-line learning method for island smart grid with EVs and PVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: 2014 International Joint Conference on Neural Networks, IJCNN 2014, Beijing, China, July 6-11, 2014, pp. 1440-1446, 2014, IEEE, 978-1-4799-6627-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Fabian M. Uriarte, Robert E. Hebner |
Residential Smart Grids: Before and after the appearance of PVs and EVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartGridComm ![In: 2014 IEEE International Conference on Smart Grid Communications, SmartGridComm 2014, Venice, Italy, November 3-6, 2014, pp. 578-583, 2014, IEEE, 978-1-4799-4934-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Masci 0001, Yi Zhang 0051, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
Formal Verification of Medical Device User Interfaces Using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 200-214, 2014, Springer, 978-3-642-54803-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Mauricio Ayala-Rincón, Yuri Santos Rego |
Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Formaliz. Reason. ![In: J. Formaliz. Reason. 6(1), pp. 31-61, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Oladimeji, Paolo Masci 0001, Paul Curzon, Harold W. Thimbleby |
PVSio-web: a tool for rapid prototyping device user interfaces in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin |
Applications of real number theorem proving in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 25(6), pp. 993-1016, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Masci 0001, Anaheed Ayoub, Paul Curzon, Insup Lee 0001, Oleg Sokolsky, Harold W. Thimbleby |
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings, pp. 228-240, 2013, Springer, 978-3-642-40792-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng |
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers, pp. 125-141, 2013, Springer, 978-3-319-05415-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Sjaak Smetsers, Erik Barendsen |
Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Beauty of Functional Code ![In: The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday, pp. 47-59, 2013, Springer, 978-3-642-40354-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Anand Bhojan, Zeng Qiang, Akkihebbal L. Ananda |
Energy efficient multi-player smartphone gaming using 3D spatial subdivisioning and pvs techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMMPD@ACM Multimedia ![In: Proceedings of the 3rd ACM international workshop on Interactive multimedia on mobile & portable devices, IMMPD@ACM Multimedia 2013, Barcelona, Spain, October 22, 2013, pp. 37-42, 2013, ACM, 978-1-4503-2399-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Pierre Neron |
Square Root and Division Elimination in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, pp. 457-462, 2013, Springer, 978-3-642-39633-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Masci 0001, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford |
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERENE ![In: Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings, pp. 150-164, 2012, Springer, 978-3-642-33175-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Generating Verifiable Java Code from Verified PVS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, pp. 310-325, 2012, Springer, 978-3-642-28890-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Masci 0001, Huayi Huang, Paul Curzon, Michael D. Harrison |
Using PVS to Investigate Incidents through the Lens of Distributed Cognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, pp. 273-278, 2012, Springer, 978-3-642-28890-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez 0001, Pablo Ascariz |
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, pp. 147-161, 2012, Springer, 978-3-642-28890-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Masci 0001, Paul Curzon, Ann Blandford, Dominic Furniss |
Modelling Distributed Cognition Systems in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Concetta Pilotto, Jerome White |
Towards a verification framework for faulty message passing systems in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 7(2), pp. 109-118, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | César A. Muñoz, Ramiro A. Demasi |
Advanced Theorem Proving Techniques in PVS and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LASER Summer School ![In: Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures, pp. 96-132, 2011, Springer, 978-3-642-35745-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Cristian Dima, Carl Wellington, Stewart J. Moorehead, Levi Lister, Joan Campoy, Carlos Vallespí, Boyoon Jung, Michio Kise, Zachary Bonefas |
PVS: A system for large scale outdoor perception performance evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2011, Shanghai, China, 9-13 May 2011, pp. 834-841, 2011, IEEE. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Khalid Latif 0002, Amir-Mohammad Rahmani, Liang Guang, Tiberiu Seceleanu, Hannu Tenhunen |
PVS-NoC: Partial Virtual Channel Sharing NoC Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: Proceedings of the 19th International Euromicro Conference on Parallel, Distributed and Network-based Processing, PDP 2011, Ayia Napa, Cyprus, 9-11 February 2011, pp. 470-477, 2011, IEEE Computer Society, 978-0-7695-4328-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Xia Yin, Qingguo Xu, Kunliang Han |
Modeling Predicate Abstraction of Timed Automata in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iThings/CPSCom ![In: 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, Physical and Social Computing (CPSCom), Dalian, China, October 19-22, 2011, pp. 438-443, 2011, IEEE Computer Society, 978-1-4577-1976-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Sam Owre, Natarajan Shankar |
Solving the First Verified Software Competition Problems Using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Modeling: Actors, Open Systems, Biological Systems ![In: Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday, pp. 315-328, 2011, Springer, 978-3-642-24932-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Han Zhu, Huibiao Zhu, Si Liu 0001, Jian Guo 0005 |
Towards Denotational Semantics for Verilog in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI (Companion) ![In: Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume, pp. 1-2, 2011, IEEE Computer Society, 978-0-7695-4454-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Bart Jacobs 0001, Ronny Wichers Schreur |
Logical Formalisation and Analysis of the Mifare Classic Card in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings, pp. 3-17, 2011, Springer, 978-3-642-22862-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Renaud Clavel, Laurence Pierre, Régis Leveugle |
Towards Robustness Analysis Using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings, pp. 71-86, 2011, Springer, 978-3-642-22862-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Essam K. Hussain, Christopher M. Bingham, David A. Stone |
Grid connected PVs & Wind Turbine with a wide range of reactive power control and active filter capability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT Europe ![In: 2nd IEEE PES International Conference and Exhibition on `Innovative Smart Grid Technologies`, ISGT Europe 2011, Manchester, United Kingdom, December 5-7, 2011, pp. 1-6, 2011, IEEE, 978-1-4577-1422-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Shamim Ripon, Alice Miller 0001 |
Verification of Symmetry Detection using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Shamim Ripon, Michael J. Butler |
Formalizing cCSP Synchronous Semantics in PVS ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1001.3464, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Johannes Eriksson, Ralph-Johan Back |
Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, pp. 24-39, 2010, Springer, 978-3-642-16900-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Dominic Richards, David R. Lester |
A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings, pp. 139-148, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Concetta Pilotto, Jerome White |
Verification of Faulty Message Passing Systems with Continuous State Space in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings, pp. 119-128, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Jingang Niu, Shenghui Su |
Design Verification of BJUT Library Management System with PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS ![In: 2010 International Conference on Computational Intelligence and Security, CIS 2010, Nanning, Guangxi Zhuang Autonomous Region, China, December 11-14, 2010, pp. 624-628, 2010, IEEE Computer Society, 978-1-4244-9114-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun 0002, Lindsay Groves |
Formal Verification of Semistructured Data Models in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 15(1), pp. 241-272, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ricky W. Butler |
Formalization of the Integral Calculus in the PVS Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Formaliz. Reason. ![In: J. Formaliz. Reason. 2(1), pp. 1-26, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Shimmi Asokan, G. Santhosh Kumar, N. Jaya Lal |
Modeling of ALFA Programs Using PVS Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTCom ![In: ARTCom 2009, International Conference on Advances in Recent Technologies in Communication and Computing, Kottayam, Kerala, India, 27-28 October 2009, pp. 373-375, 2009, IEEE Computer Society, 978-0-7695-3845-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Geng Chen, Lei Luo 0004, Rong Gong, Shenglin Gui |
Dependability Analysis for AADL Models by PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC ![In: Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2009, Chengdu, China, 12-14 December, 2009, pp. 19-24, 2009, IEEE Computer Society, 978-0-7695-3929-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | André Luiz Galdino, Mauricio Ayala-Rincón |
A Theory for Abstract Reduction Systems in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI Electron. J. ![In: CLEI Electron. J. 11(2), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | André Luiz Galdino, Mauricio Ayala-Rincón |
A PVS Theory for Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 67-83, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Shamim Ripon, Michael J. Butler |
PVS Embedding of cCSP Semantic Models and Their Relationship. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, pp. 103-118, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Maria Garcia-Boronat, Carmen M. Diez-Rivero, Ellis L. Reinherz, Pedro A. Reche |
PVS: a web server for protein sequence variability analysis tuned to facilitate conserved epitope discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 36(Web-Server-Issue), pp. 35-41, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Natarajan Shankar |
Fixpoints and Search in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LASER Summer School ![In: Advanced Lectures on Software Engineering, LASER Summer School 2007/2008, pp. 140-161, 2008, Springer, 978-3-642-13009-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jianxun Liu, Ting Li |
PVS-WDBM: A Workflow Data Batch-Operation Model based on Partial Vector Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: Fourth International Conference on Semantics, Knowledge and Grid, SKG '08, Beijing, China, December 3-5, 2008, pp. 293-300, 2008, IEEE Computer Society, 978-0-7695-3401-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Hongping Lim, Myla Archer |
Translation Templates to Support Strategy Development in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006, pp. 59-79, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Francisco Cháves, Marc Daumas |
A library of Taylor models for PVS automatic proof checker ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0602005, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Qingguo Xu, Huaikou Miao |
Modeling Timed Automata Theory in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 1, pp. 205-211, 2006, CSREA Press, 1-932415-90-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun 0002, Lindsay Groves |
A PVS Approach to Verifying ORA-SS Data Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), San Francisco, CA, USA, July 5-7, 2006, pp. 126-131, 2006, 1-891706-18-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Marcel Kyas, Jozef Hooman |
Compositional Verification of Timed Components using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31.3.2006 in Leipzig, pp. 143-154, 2006, GI, 3-88579-173-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Qingguo Xu, Huaikou Miao |
Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASTED Conf. on Software Engineering ![In: Proceedings of the IASTED International Conference on Software Engineering, February 14-16, 2006, Innsbruck, Austria, pp. 107-112, 2006, IASTED/ACTA Press, 0-88986-574-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Neil Evans, Steve A. Schneider |
Verifying security protocols with PVS: widening the rank function approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 64(2), pp. 253-284, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Ruth Hardy |
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus ![In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005, pp. 111-125, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha |
Formal verification of functional properties of a SCR-style software requirements specification using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 87(3), pp. 351-363, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Sayan Mitra, Myla Archer |
PVS Strategies for Proving Abstraction Properties of Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 45-65, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler |
Formalizing UML Models and OCL Constraints in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFEDL@ETAPS ![In: Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 39-47, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Taeho Kim, Sung Deok Cha |
Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 83(1), pp. 121-122, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Han Seong Son, Poong-Hyun Seong |
Reply to "Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 83(1), pp. 123, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie |
A Java Card CAP converter in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003, pp. 426-442, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Han Seong Son, Poong Hyun Seong |
Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 80(1), pp. 19-32, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | David R. Lester, Paul Gowland |
Using PVS to validate the algorithms of an exact arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 291(2), pp. 203-218, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Demissie B. Aredo |
A Framework for Semantics of UML Sequence Diagrams in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 8(7), pp. 674-697, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
20 | Jonathan M. Ford, Ian A. Mason |
Operational Techniques in PVS - A Preliminary Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Computing: The Australasian Theory Symposium, CATS 2001, Gold Coast, Australia, January 29-30, 2001, pp. 124-142, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Taeho Kim, Sung Deok Cha |
Automated structural analysis of SCR-style software requirements specifications using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 11(3), pp. 143-163, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Marieke Huisman |
Reasoning about Java programs in higher order logic using PVS and Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
20 | Vlad Rusu |
Verifying a Sliding Window Protocol using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea, pp. 251-268, 2001, Kluwer, 0-7923-7470-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
20 | Adriaan de Groot, Jozef Hooman |
Analyzing the Light Control System with PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 6(7), pp. 621-649, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Issa Traoré |
An Outline of PVS Semantics for UML Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 6(11), pp. 1088-1108, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Myla Archer |
TAME: Using PVS strategies for special-purpose theorem proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 29(1-4), pp. 139-181, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Sam Owre, Harald Rueß |
Integrating WS1S with PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings, pp. 548-551, 2000, Springer, 3-540-67770-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Vladlen Koltun, Yiorgos Chrysanthou, Daniel Cohen-Or |
Virtual Occluders: An Efficient Intermediate PVS Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rendering Techniques ![In: Proceedings of the Eurographics Workshop on Rendering Techniques 2000, Brno, Czech Republic, June 26-28, 2000, pp. 59-70, 2000, Springer, 3-211-83535-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Georg Droschl |
A Case Study on the Application of PVS to Requirements Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J. Inf. Syst. ![In: Australas. J. Inf. Syst. 6(2), 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
20 | Ulrich Hensel, Bart Jacobs 0001 |
Coalgebraic Theories of Sequences in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 9(4), pp. 463-500, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Vladimír Marík, Michal Pechoucek, Jirí Lazanský, Christophe Roche |
PVS'98 agents: structures, models and production planning application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Auton. Syst. ![In: Robotics Auton. Syst. 27(1-2), pp. 29-43, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Natarajan Shankar, Sam Owre |
Principles and Pragmatics of Subtyping in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers, pp. 37-52, 1999, Springer, 3-540-67898-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Georg Droschl |
Analyzing the Requirements of an Access Control Using VDMTools and PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1870, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Michel Levy, Laurent Trilling |
A PVS-Based Approach for Teaching Constructing Correct Iterations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1859-1860, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Georg Droschl |
On the Integration of Formal Methods: Events and Scenarios in PVS and VDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWFM ![In: 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999, BCS. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
20 | Dmitri Schamschurko |
Modeling Process Calculi with PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998, pp. 194-211, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Sten Agerholm, Juan Bicarregui, Savi Maharaj |
On the Verification of VDM Specification and Refinement with PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof in VDM ![In: Proof in VDM: Case Studies, pp. 157-189, 1998, Springer, 978-3-540-76186-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Vladimír Marík, Michal Pechoucek, Christophe Roche |
PVS 98 agent models and their application in production planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BASYS ![In: Intelligent Systems for Manufacturing: Multi-Agent Systems and Virtual Organizations, Proceedings of the BASYS - 3rd IEEE/IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing, Prague, Czech Republic, August 1998, pp. 13-22, 1998, Kluwer, 0-412-84670-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
20 | Bettina Buth |
PAMELA+PVS Verification of Sequential Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 62-76, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Raphaël Couturier |
Formal Engineering of the Bitonic Sort using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWFM ![In: 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998, BCS. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
20 | Bettina Buth |
PAMELA + PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, pp. 560-562, 1997, Springer, 3-540-63888-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Mandayam K. Srivas, Harald Rueß, David Cyrluk |
Hardware Verification Using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Hardware Verification ![In: Formal Hardware Verification - Methods and Systems in Comparison, pp. 156-205, 1997, Springer, 3-540-63475-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Sam Owre, John M. Rushby, Natarajan Shankar |
Integration in PVS: Tables, Types, and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings, pp. 366-383, 1997, Springer, 3-540-62790-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Natarajan Shankar |
Steps Toward Mechanizing Program Transformations Using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 26(1-3), pp. 33-57, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas |
PVS: Combining Specification, Proof Checking, and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 411-414, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Bruno Dutertre |
Elements of Mathematical Analysis in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings, pp. 141-156, 1996, Springer, 3-540-61587-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Sten Agerholm |
Translating Specifications in VDM-SL to PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings, pp. 1-16, 1996, Springer, 3-540-61587-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Harald Rueß |
Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings, pp. 79-93, 1996, Springer, 3-540-61937-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Natarajan Shankar |
PVS: Combining Specification, Proof Checking, and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings, pp. 257-264, 1996, Springer, 3-540-61937-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Jan Vitt, Jozef Hooman |
Assertional Specification and Verification Using PVS of the Steam Boiler Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods for Industrial Applications ![In: Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995)., pp. 453-472, 1995, Springer, 3-540-61929-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Axel Dold |
Representing, Verifying and Applying Software Development Steps using the PVS System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 431-445, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Jozef Hooman |
Using PVS for an Assertional Verification of the RPC-Memory Specification Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Systems Specification ![In: Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994), pp. 275-304, 1994, Springer, 3-540-61984-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|