The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for executability with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-1994 (16) 1995-2001 (18) 2002-2005 (18) 2006 (16) 2007-2008 (20) 2009-2015 (15) 2016-2024 (15)
Publication types (Num. hits)
article(23) inproceedings(93) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 139 occurrences of 125 keywords

Results
Found 118 publication records. Showing 118 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
42Franck Barbier Supporting the UML State Machine Diagramsat Runtime. Search on Bibsonomy ECMDA-FA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UML, Statecharts, model executability
42Ahmed Khoumsi A new method for testing real time systems. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF real-time systems testing, test sequence executability, test sequence execution, real-time systems, constraints, automatic test pattern generation, program testing, timed automata, conformance testing, conformance testing, sequences, test case generation, automata theory, state explosion, test architecture, test sequence generation, continuous-time systems
42Jan van Katwijk, W. J. Toetenel Comparing formal specifications by measuring. Search on Bibsonomy RTCSA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF formal specification notations, software engineering, software engineering, formal specification, software development, computer science education, tool support, software development management, notation, executability, maturity, analyzability, software engineering courses
42Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation
42Masahiro Tanaka, Toru Ishida 0001 Predicting and Learning Executability of Composite Web Services. Search on Bibsonomy ICSOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Mahadevan Subramaniam, Parvathi Chundi An Approach to Preserve Protocol Consistency and Executability Across Updates. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Néstor Cataño, Tim Wahls Executing JML specifications of Java card applications: a case study. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF executable specifications, Java card, JML
30Reda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais Definition of an Executable SPEM 2.0. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Rachid Bouaziz, Ousmane Koné Symbolic and on the Fly Testing with Real-Time Observers. Search on Bibsonomy TestCom The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Ranga Raju Vatsavai, Sharma Chakravarthy, Mukesh K. Mohania Access Control Inference And Feedback For Policy Managers: A Fine-Grained Analysis. Search on Bibsonomy POLICY The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Risto Pitkänen, Petri Selonen A UML Profile for Executable and Incremental Specification-Level Modeling. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Marta Cialdea Mayer, Carla Limongelli Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Dave Arnold, Jean-Pierre Corriveau, Wei Shi 0001 Modeling and Validating Requirements Using Executable Cotnracts and Scenarios. Search on Bibsonomy SERA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF validation, model-based testing, executability
27Gustavo Santos-García, Miguel Palomino, Alberto Verdejo Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. Search on Bibsonomy DCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Neural networks, strategies, rewriting logic, Maude, executability
27Guizhen Yang, Michael Kifer, Vinay K. Chaudhri Efficiently ordering subgoals with access constraints. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF binding pattern, nonrecursive datalog, query, executability
27Thomas Macaulay Ferguson Executability and Connexivity in an Interpretation of Griss. Search on Bibsonomy Stud Logica The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
27Aisling Third, John Domingue Ethics and Executability: Tracing Decency in Decentralised Knowledge Graph Applications. Search on Bibsonomy ESWC Workshops The full citation details ... 2023 DBLP  BibTeX  RDF
27Hadjer Benkraouda, Jingyu Qian, Hung Quoc Tran, Berkay Kaplan Attacks on Visualization-Based Malware Detection: Balancing Effectiveness and Executability. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
27Chenguang Zhu 0002, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs. Search on Bibsonomy ASE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Samim Mirhosseini, Chris Parnin Docable: evaluating the executability of software tutorials. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Md. Monir Hossain, Nima Mahmoudi, Changyuan Lin, Hamzeh Khazaei, Abram Hindle Executability of Python Snippets in Stack Overflow. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
27Eleonora Giunchiglia, Michele Colledanchise, Lorenzo Natale, Armando Tacchella Conditional Behavior Trees: Definition, Executability, and Applications. Search on Bibsonomy SMC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Eric Horton, Chris Parnin Gistable: Evaluating the Executability of Python Code Snippets on GitHub. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
27Eric Horton, Chris Parnin Gistable: Evaluating the Executability of Python Code Snippets on GitHub. Search on Bibsonomy ICSME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni SEA: String Executability Analysis by Abstract Interpretation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
27Ting Shu, Zuohua Ding, Mei-Hwa Chen, Jinsong Xia A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences. Search on Bibsonomy Inf. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Bas Luttik, Fei Yang On the Executability of Interactive Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
27Bas Luttik, Fei Yang On the Executability of Interactive Computation. Search on Bibsonomy CiE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Sardar Hussain, Richard O. Sinnott, Ron Poet Service-Oriented Workflow Executability from a Security Perspective. Search on Bibsonomy SpaCCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Yuan Yao 0007, Lavindra de Silva, Brian Logan 0001 Reasoning About the Executability of Goal-Plan Trees. Search on Bibsonomy EMAS@AAMAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Rudolf Mayer, Andreas Rauber A Quantitative Study on the Re-executability of Publicly Shared Scientific Workflows. Search on Bibsonomy e-Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Ping Gong 0004, Jianmin Jiang, Shi Zhang, Zhi Qin Chen Executability Analysis for Semantically Annotated Process Model. Search on Bibsonomy APSCC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
27Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè Enhancing structural software coverage by incrementally computing branch executability. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
27Julien Bourgeois, Vaidy S. Sunderam, Jaroslaw Slawinski, Bogdan Florin Cornea Extending Executability of Applications on Varied Target Platforms. Search on Bibsonomy HPCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
27Elena Planas, Jordi Cabot, Cristina Gómez 0001 Two Basic Correctness Properties for ATL Transformations: Executability and Coverage. Search on Bibsonomy MtATL@TOOLS The full citation details ... 2011 DBLP  BibTeX  RDF
27Timothy Joseph Cerexhe, Maurice Pagnucco Executability in the Situation Calculus. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
27Elena Planas, Jordi Cabot, Cristina Gómez 0001, Esther Guerra, Juan de Lara Lightweight Executability Analysis of Graph Transformation Rules. Search on Bibsonomy VL/HCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
27Robert Lorenz 0001, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser Executability of scenarios in Petri nets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Lihua Duan Testing in context: Efficiency and executability. Search on Bibsonomy 2009   RDF
27Ileana Ober, Ali Abou Dib Using ASM to Achieve Executability within a Family of DSL. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Franck Barbier, Eric Cariou Component Design based on Model Executability. Search on Bibsonomy EUROMICRO-SEAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Servet Hasgül, Zuhal Kartal Analyzing a drum-buffer-rope scheduling system executability through simulation. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF drum-buffer-rope, theory of constraints, scheduling
27Robert Lorenz 0001, Sebastian Mauser, Robin Bergenthum Testing the executability of scenarios in general inhibitor nets. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Michael Keating Simplicity and Executability: Cornerstones of Quality. Search on Bibsonomy ISQED The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Riccardo Rasconi, Nicola Policella, Amedeo Cesta SEaM: Analyzing Schedule Executability Through Simulation. Search on Bibsonomy IEA/AIE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano, Francesco Poletti Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2005 DBLP  BibTeX  RDF
27Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel Weaving Executability into Object-Oriented Meta-languages. Search on Bibsonomy MoDELS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Margaret Mary West Issues in validation and executability of formal specifications in the Z notation. Search on Bibsonomy 2002   RDF
27Erwan Breton, Jean Bézivin Towards an understanding of model executability. Search on Bibsonomy FOIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF process meta-models, models, meta-models, MOF, model execution, action semantics
27David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy Structuring Interactive Systems Specifications for Executability and Prototypability. Search on Bibsonomy DSV-IS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Chung-Ming Huang, Meng-Shu Chiang, Ming-Yuhe Jang UIOE: protocol test sequence generation method using the transition executability analysis (TEA). Search on Bibsonomy Comput. Commun. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Franck Barbier, Henri Briand, Bénédicte Dano, Stéphane Rideau The Executability of Object-Oriented Finite State Machines. Search on Bibsonomy J. Object Oriented Program. The full citation details ... 1998 DBLP  BibTeX  RDF
27Michael von der Beeck Improving Structured Analysis - Achieving Preciseness, Executability, and Real-Time Specification. Search on Bibsonomy Requirements Engineering The full citation details ... 1993 DBLP  BibTeX  RDF
27Alexander D. Stoyenko, Wolfgang A. Halang Analysing PEARL Programs for Timely Schedulability and Executability. Search on Bibsonomy Prozeßrechnersysteme The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
27Toru Ishida 0001 Analyzing Parallel Executability of Production Systems. Search on Bibsonomy Syst. Comput. Jpn. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
27Wladyslaw M. Turski Completeness and executability of specifications: Two confusing notions. Search on Bibsonomy ISPW The full citation details ... 1984 DBLP  BibTeX  RDF
27Harry B. Hunt III, Daniel J. Rosenkrantz The Complexity of Monadic Recursion Schemes: Executability Problems, Nesting Depth, and Applications. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
15Manoli Albert, Jordi Cabot, Cristina Gómez 0001, Vicente Pelechano Automatic generation of basic behavior schemas from UML class diagrams. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Behavior schema, Structural event, UML, OCL, Operation, Class diagram
15Daniela Inclezan Modular Action Language ALM{\cal ALM}. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Jordi Cabot, Robert Clarisó, Daniel Riera Verifying UML/OCL Operation Contracts. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf Formalisms for Specifying Markovian Population Models. Search on Bibsonomy RP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Zhiliang Wang, Xia Yin, Chuanming Jing A formal method to real-time protocol interoperability testing. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF real-time testing, timed input output automata (TIOA), test generation, interoperability testing, protocol testing
15Marco Baioletti, Alfredo Milani, Valentina Poggioni, Silvia Suriani Parallel Actions and Generalized Multivalued Constraints in Multivalued Planning. Search on Bibsonomy ICCSA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Hallvard Trætteberg, John Krogstie Enhancing the Usability of BPM-Solutions by Combining Process and User-Interface Modelling. Search on Bibsonomy PoEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Process modelling, user interface modelling
15Cyril Ballagny, Nabil Hameurlain, Franck Barbier Dynamic adaptive software components: the MOCAS approach. Search on Bibsonomy CSTST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UML2 state machine, dynamic adaptation, component model
15Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi Formal digital license language with OTS/CafeOBJ method. Search on Bibsonomy AICCSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15José Meseguer 0001, Prasanna Thati Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Rewrite theories, Security protocols, Reachability, Narrowing
15Matthias Kuntz, Boudewijn R. Haverkort Faster SPDL Model Checking Through Property-Driven State Space Generation. Search on Bibsonomy EPEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Liang Chang 0003, Fen Lin, Zhongzhi Shi A Dynamic Description Logic for Representation and Reasoning About Actions. Search on Bibsonomy KSEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Suman Ranjan Sensarma, Norio Okada Game theoretic analysis of the process of player empowerment in resolving social conflict. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15David H. Akehurst, Martin Gogolla, Steffen Zschaler 7th International Workshop on Ocl4All: Modelling Systems with OCL. Search on Bibsonomy MoDELS (Workshops) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Jean-Pierre Corriveau Testable Requirements for Offshore Outsourcing. Search on Bibsonomy SEAFOOD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15David Harel Statecharts in the making: a personal account. Search on Bibsonomy HOPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Franck Barbier MDE-based Design and Implementation of Autonomic Software Components. Search on Bibsonomy IEEE ICCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Christian Glodt, Pierre Kelsen DEMOS: a tool for declarative executable modeling of object-based systems. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java, object-oriented programming, code generation, functional programming, visual programming, eclipse, coupling, executable models, declarative
15Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz 0001 Can I Execute My Scenario in Your Net? VipTool Tells You! Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Abdelaziz Guerrouat, Harald Richter 0001 A Combined Approach for Reachability Analysis. Search on Bibsonomy ICSEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF testing and validation, formal specifications, Formal methods, reachability analysis
15Chitta Baral, Luis Tari Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning. Search on Bibsonomy ICIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Azadeh Farzan, José Meseguer 0001 State Space Reduction of Rewrite Theories Using Invisible Transitions. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Matthias Kuntz, Markus Siegle Symbolic Model Checking of Stochastic Systems: Theory and Implementation. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems
15David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li 0002, Kiarash Mahdavi An Empirical Study of Executable Concept Slice Size. Search on Bibsonomy WCRE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Concept Assignment, Program Slicing
15Germán Puebla, Elvira Albert, Manuel V. Hermenegildo Abstract Interpretation with Specialized Definitions. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Eun-Ha Song, Sung-Kook Han, Laurence Tianruo Yang, Young-Sik Jeong Reconfiguration of Information Management Framework Based on Adaptive Grid Computing. Search on Bibsonomy ISPA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc 0001 UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions. Search on Bibsonomy EDOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15José Meseguer 0001, Grigore Rosu Computational Logical Frameworks and Generic Program Analysis Technologies. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc 0001 UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling. Search on Bibsonomy MoDELS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF SP Metamodel, MDD, Software Process Modelling, Process Modelling Languages
15Sang-Kyun Kim, Taekyung Lee, Kyu-Chul Lee Toward Knowledge Preconditions for Composition of SemanticWeb Services. Search on Bibsonomy DEEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Chia-Chu Chiang An Introduction to TUG: A Language for Writing Reusable Formal Program Specifications. Search on Bibsonomy ITCC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Generic Specifications, Reusable Specifications, Software Reuse and TUG, Formality
15Hendry, Munchurl Kim A Dynamically Configurable Multimedia Middleware. Search on Bibsonomy PCM (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle Model Checking Action- and State-Labelled Markov Chains. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Amit M. Paradkar, Tim Klinger Automated Consistency and Completeness Checking of Testing Models for Interactive Systems. Search on Bibsonomy COMPSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Completeness Checking, Reachability, Consistency Checking
15Tim Wahls Compiling Formal Specifications to Oz Programs. Search on Bibsonomy MOZ The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15José Meseguer 0001, Miguel Palomino, Narciso Martí-Oliet Equational Abstractions. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni Planning under Uncertainty in Linear Time Logic. Search on Bibsonomy AI*IA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Robert S. Boyer, J Strother Moore Single-Threaded Objects in ACL2. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Hudson Turner Polynomial-Length Planning Spans the Polynomial Hierarchy. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Christoph Maier, Daniel Moldt Object Coloured Petri Nets - A Formal Technique for Object Oriented Modeling. Search on Bibsonomy Concurrent Object-Oriented Programming and Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15J Strother Moore Finite Set Theory in ACL2. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Daniel Jackson 0001 Lightweight Formal Methods. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15Jin-Cherng Lin, Ian Ho A New Framework for Testing Real-Time Software. Search on Bibsonomy COMPSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 118 (100 per page; Change: )
Pages: [1][2][>>]
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