Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Hasan Ural, Craig Williams |
Constructing checking sequences for distributed testing. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Distributed test architectures, Controllability and observability problems, Test coordination, Finite state machine-based testing, Distributed testing, Checking sequence |
19 | Andrzej Król, Mehmet Z. Unlu, Alphonso Magri, Edward Lipson, Ioana Coman, James A. Mandel, Karl G. Baum, David H. Feiglin |
Iterative finite element deformable model for nonrigid coregistration of multimodal breast images. |
ISBI |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Vít Fábera, Vlastimil Jánes, Mária Jánesová |
Automata Construct with Genetic Algorithm. |
DSD |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Jonatan Alava, Tariq M. King, Peter J. Clarke |
Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria. |
COMPSAC (1) |
2006 |
DBLP DOI BibTeX RDF |
Model Validation and Analysis, Testing and Debugging |
19 | Shih-Hsu Huang, Chia-Ming Chang 0002, Yow-Tyng Nieh |
State re-encoding for peak current minimization. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
peak current, sequential circuit synthesis, finite state machine |
19 | Kaisa Nyberg, Johan Wallén |
Improved Linear Distinguishers for SNOW 2.0. |
FSE |
2006 |
DBLP DOI BibTeX RDF |
SNOW 2.0, linear masking method, Stream cipher, modular addition |
19 | Hua-Qing Min, Jia-Xing Hui, Yansheng Lu, Jia-zhi Jiang |
Probability Fuzzy Cognitive Map for Decision-Making in Soccer Robotics. |
IAT |
2006 |
DBLP DOI BibTeX RDF |
Probability fuzzy cognitive map, decision-making model of soccer robot, weight value measurement, decision time, machine learning |
19 | Aiman H. El-Maleh, Sadiq M. Sait, F. Nawaz Khan |
Finite state machine state assignment for area and power minimization. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid |
Finite State Machine IP Watermarking: A Tutorial. |
AHS |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
EFSM Manipulation to Increase High-Level ATPG Effectiveness. |
ISQED |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Rafik Bouaziz, Salem Chakhar |
Towards a Flexible Query Language. |
SITIS |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy Logic, Flexible Querying, Fuzzy Database |
19 | Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan 0001, Chiara Ghidini, Luciano Serafini |
Verifying space and time requirements for resource-bounded agents. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
MBP, resource-bounded agents |
19 | Ping Yi, YiPing Zhong, Shiyong Zhang |
A Novel Intrusion Detection Method for Mobile Ad Hoc Networks. |
EGC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün |
Eliminating Redundant Tests in a Checking Sequence. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid |
A Public-Key Watermarking Technique for IP Designs. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Zhenyu Liu, Tughrul Arslan, Sami Khawam, Iain Lindsay |
A high performance synthesisable unsymmetrical reconfigurable fabric for heterogeneous finite state machines. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Sreeram Ramakrishnan, Mayur Thakur |
An SDS modeling approach for simulation-based control. |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Warren A. Hunt Jr., Erik Reeber |
Formalization of the DE2 Language. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
19 | K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün |
Generalizing Redundancy Elimination in Checking Sequences. |
ISCIS |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Neha Rungta, Eric G. Mercer |
A context-sensitive structural heuristic for guided search model checking. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
structural heuristics, guided search |
19 | Alexandre Petrenko, Sergiy Boroday, Roland Groz |
Confirming Configurations in EFSM Testing. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
test derivation, model checking, Formal methods, model-based testing, conformance testing, functional testing, test design, extended finite state machine, state identification |
19 | Bahattin Ozen, Ozgur Kilic, Mehmet Altinel, Asuman Dogac |
Highly Personalized Information Delivery to Mobile Clients. |
Wirel. Networks |
2004 |
DBLP DOI BibTeX RDF |
querying XML documents, information delivery to mobile devices, personalization, user profiles, query indexing |
19 | Christian Wiegand, Christian Siemers, Harald Richter 0001 |
Definition of a Configurable Architecture for Implementation of Global Cellular Automaton. |
ARCS |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Özge Uncu, Kemal Kilic, I. Burhan Türksen |
A new fuzzy inference approach based on Mamdani inference using discrete type 2 fuzzy sets. |
SMC (3) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Luca Negri, Domenico Barretta, William Fornaciari |
Application-level power management in pervasive computing systems: a case study. |
Conf. Computing Frontiers |
2004 |
DBLP DOI BibTeX RDF |
pervasive computing, power management, virtual campus |
19 | Khaled El-Fakih, Nina Yevtushenko 0001 |
Fault Propagation by Equation Solving. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Yanlei Diao, Mehmet Altinel, Michael J. Franklin, Hao Zhang 0003, Peter M. Fischer 0001 |
Path sharing and predicate evaluation for high-performance XML filtering. |
ACM Trans. Database Syst. |
2003 |
DBLP DOI BibTeX RDF |
Nondeterministic Finite Automaton, XML filtering, content-based matching, nested path expressions., path sharing, predicate evaluation, structure matching |
19 | Petros Drineas, Yiorgos Makris |
Non-Intrusive Concurrent Error Detection in FSMs through State/Output Compaction and Monitoring via Parity Trees. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Ivan Augé, François Donnet, Frédéric Pétrot |
Retiming Finite State Machines to Control Hardened Data-Paths. |
SBCCI |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Christoforos N. Hadjicostis |
Encoded finite-state machines for non-concurrent error detection and identification. |
ISCAS (3) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Sunwoong Yang, MoonJoon Kim, JaeHeung Park, Hoon Chang |
A Study on Insuring the Full Reliability of Finite State Machine. |
ICCSA (2) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Konstantinos Rokas, Yiorgos Makris, Dimitris Gizopoulos |
Low Cost Convolutional Code Based Concurrent Error Detection in FSMs. |
DFT |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Liang Zhang 0012, Indradeep Ghosh, Michael S. Hsiao |
Efficient Sequential ATPG for Functional RTL Circuits. |
ITC |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Zhen Li, Makoto Nonaka, Akihiro Kakurai, Motoei Azuma |
Measuring Functional Size of Interactive Software: A Support System Based on XForms-Format User Interface Specifications. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Sezer Gören 0001, F. Joel Ferguson |
CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
19 | G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran |
Projected state machine coverage for software testing. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
state machine projection., validation, automated test generation, finite state machine modeling |
19 | John Whaley, Michael C. Martin, Monica S. Lam |
Automatic extraction of object-oriented component interfaces. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Mikael Kerttu, Per Lindgren, Mitchell A. Thornton, Rolf Drechsler |
Switching activity estimation of finite state machines for low power synthesis. |
ISCAS (4) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Vesa Lahtinen, Kimmo Kuusilinna, Timo Hämäläinen 0001 |
Optimizing finite state machines for system-on-chip communication. |
ISCAS (1) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Sezer Gören 0001, F. Joel Ferguson |
Testing Finite State Machines Based on a Structural Coverage Metric . |
ITC |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Raymond E. Miller, Khaled A. Arisha |
Fault Identification in Networks by Passive Testing. |
Annual Simulation Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Apostolos Dollas, Kyprianos Papademetriou, Nikolaos Aslanides, Tom Kean |
A Reconfigurable Embedded Input Device for Kinetically Challenged Persons. |
FPL |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Bahattin Ozen, Ozgur Kilic, Mehmet Altinel, Asuman Dogac |
Highly personalized information delivery to mobile clients. |
MobiDE |
2001 |
DBLP DOI BibTeX RDF |
XML-QL, mobile E-commerce, XML, personalization |
19 | Umberto Cerruti, Mario Giacobini, Pierre Liardet |
Prediction of Binary Sequences by Evolving Finite State Machines. |
Artificial Evolution |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Diana Marculescu, Radu Marculescu, Massoud Pedram |
Theoretical bounds for switching activity analysis in finite-state machines. |
IEEE Trans. Very Large Scale Integr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Luca Macchiarulo, Shih-Ming Shu, Malgorzata Marek-Sadowska |
Wave Steered FSMs. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Akira Ishii |
3-D Shape Measurement Using a Focused-Section Method. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Valery Sklyarov |
Synthesis and Implementation of RAM-Based Finite State Machines in FPGAs. |
FPL |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Franco Fummi, Donatella Sciuto, Micaela Serra |
Synthesis for Testability of Highly Complex Controllers by Functional Redundancy Removal. |
IEEE Trans. Computers |
1999 |
DBLP DOI BibTeX RDF |
sequential circuits, functional testing, Synthesis for testability, logic minimization, redundant faults, redundancies removal |
19 | Vassilios Chatzis, Ioannis Pitas |
Fuzzy scalar and vector median filters based on fuzzy distances. |
IEEE Trans. Image Process. |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Peter Bodorik, Dawn N. Jutla, Jacob Slonim, A. Agarwal |
Locking with Different Granularities for Reads and Writes in an MVM System. |
IDEAS |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Gianpiero Cabodi, Paolo Camurati, Claudio Passerone, Stefano Quer |
Computing Timed Transition Relations for Sequential Cycle-Based Simulation. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Kamran Zarrineh, Shambhu J. Upadhyaya |
On Programmable Memory Built-In Self Test Architectures. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Eduard Cerny, Fen Jin |
Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming. |
ICCD |
1999 |
DBLP DOI BibTeX RDF |
Interface verification, interface controllers, relational interval arithmetic, constraint logic programming, timing verification, timing diagrams |
19 | Oskar Mencer, Marco Platzner |
Dynamic Circuit Generation for Boolean Satisfiability in an Object-Oriented Design Environment. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Noppanunt Utamaphethai, R. D. (Shawn) Blanton, John Paul Shen |
Superscalar Processor Validation at the Microarchitecture Level. |
VLSI Design |
1999 |
DBLP DOI BibTeX RDF |
|
19 | B. N. V. Malleswara Gupta, H. Narayanan, Madhav P. Desai |
A State Assignment Scheme Targeting Performance and Area. |
VLSI Design |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Diana Marculescu, Radu Marculescu, Massoud Pedram |
Theoretical bounds for switching activity analysis in finite-state machines. |
ISLPED |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Eduard Cerny, Fen Jin |
Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Diego C. Ruspini, Oussama Khatib, Giovanni De Micheli |
Hardware-Softw are Run-Time Systems and Robotics: A Case Study Vincent John Mooney III. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Priyank Kalla, Maciej J. Ciesielski |
A comprehensive approach to the partial scan problem using implicit state enumeration. |
ITC |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Dechang Sun, Bapiraju Vinnakota, Wanli Jiang |
Fast State Verification. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
model checking, verification, guided search |
19 | Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell, John Moondanos |
Automatic verification of implementations of large circuits against HDL specifications. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Andre Hertwig, Hans-Joachim Wunderlich |
Fast controllers for data dominated applications. |
ED&TC |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno |
Asynchronous Implementation of Synchronous Esterel Specifications. |
VLSI Design |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Raj S. Mitra, Partha S. Roop, Anupam Basu |
A new algorithm for implementation of design functions by available devices. |
IEEE Trans. Very Large Scale Integr. Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Luca Benini, Patrick Vuillod, Claudionor José Nunes Coelho Jr., Giovanni De Micheli |
Synthesis of Low-Power Selectively-Clocked Systems from High-Level Specification. |
ISSS |
1996 |
DBLP DOI BibTeX RDF |
low power, High level synthesis, finite state machines, gated clocks |
19 | Raimund Ubar, Marina Brik |
Multi-Level Test Generation and Fault Diagnosis for Finite State Machines. |
EDCC |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Olivier Coudert, C.-J. Richard Shi |
Exact Dichotomy-based Constrained Encodi. |
ICCD |
1996 |
DBLP DOI BibTeX RDF |
Sequential logic synthesis, constrained state encoding, clique partition, set covering, dichotomy, ZBDD |
19 | Guevara Noubir, Berthe Y. Choueiry, Henri J. Nussbaumer |
Fault tolerant multiple observers using error control codes. |
ICNP |
1996 |
DBLP DOI BibTeX RDF |
|
19 | José Salinas, Nohpill Park, U. Arunkumar, Fabrizio Lombardi |
Conformance Testing of Time-Dependent Protocols. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Fong Pong, Michel Dubois 0001 |
A New Approach for the Verification of Cache Coherence Protocols. |
IEEE Trans. Parallel Distributed Syst. |
1995 |
DBLP DOI BibTeX RDF |
symbolic expansion, formal verification, finite state machine, shared-memory multiprocessor, Cache coherence protocol |
19 | Luciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
An efficient heuristic procedure for solving the state assignment problem for event-based specifications. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Adnan Aziz, Felice Balarin, Robert K. Brayton, Marika Domenica Di Benedetto, Alexander Saldanha |
Supervisory Control of Finite State Machines. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha |
Testing of Object-Oriented Programs Based on Finite State Machines. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
software testing, object-oriented programs, finite state machines, classes |
19 | Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Sequential synthesis using S1S. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
S1S, sequntial synthesis, discrete control, finite state machine |
19 | Chung-Shyan Liu |
An Object-Based Approach to Protocol Software Implementation. |
SIGCOMM |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Jianchun Zhang |
A formal specification model and its application in multidatabase systems. |
CASCON |
1994 |
DBLP BibTeX RDF |
|
19 | Ruchir Puri, Jun Gu |
An efficient algorithm to search for minimal closed covers in sequential machines. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Bernhard Eschermann, Hans-Joachim Wunderlich |
Optimized synthesis techniques for testable sequential circuits. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Neri Merhav, Meir Feder |
Universal Sequential Learning and Decision from Individual Data Sequences. |
COLT |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Pranav Ashar, Srinivas Devadas, A. Richard Newton |
Optimum and heuristic algorithms for an approach to finite state machine decomposition. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Doron Drusinsky-Yoresh |
Decision problems for interacting finite state machines. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Wenbo Mao, George J. Milne |
An Automated Proof Technique for Finite-State Machine Equivalence. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Vishwani D. Agrawal, Kwang-Ting Cheng |
Finite state machine synthesis with embedded test function. |
J. Electron. Test. |
1990 |
DBLP DOI BibTeX RDF |
VLSI, Computer-Aided Design, Test Generation, Logic Synthesis, Synthesis for Testability |
19 | Vishwani D. Agrawal, Kwang-Ting Cheng |
Test Function Specification in Synthesis. |
DAC |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Franz Pichler |
CAST-Modelling Approaches in Engineering Design. |
EUROCAST |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Pierre G. Paulin |
Horizontal Partitioning of PLA-based Finite State Machines. |
DAC |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Alan J. Coppola |
An implementation of a state assignment heuristic. |
DAC |
1986 |
DBLP DOI BibTeX RDF |
|
18 | Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz 0001 |
DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. |
ICWS |
2011 |
DBLP DOI BibTeX RDF |
Web services composition, Conformance, FSM, WS-BPEL, WS-CDL |
18 | Shengbo Chen, Huaikou Miao |
Modeling and Verifying for Frameset-Based Web Applications. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Web Frameset, Model Checking, Web Applications, FSM |
18 | Jinjing Zhao, Gang Zhao, Yan Wen, Xiang Li 0078 |
Towards Detecting the Interaction Vulnerabilities in Large Distributed System. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
Large distributed system, entity interaction model, FSM, vulnerability analysis |
18 | Sylvie Trudel, Alain Abran |
Functional Requirement Improvements through Size Measurement: A Case Study with Inexperienced Measurers. |
SERA |
2010 |
DBLP DOI BibTeX RDF |
Functional size, measurement, requirements, quality, inspection, review, FSM, improvement, COSMIC |
18 | Rajiv Ranjan Suman, Rajib Mall |
State model extraction of a software component by observing its behavior. |
ACM SIGSOFT Softw. Eng. Notes |
2009 |
DBLP DOI BibTeX RDF |
reverse engineering, software component, FSM, state model |
18 | Diego F. Sánchez, Daniel M. Muñoz, Carlos H. Llanos, Jose M. Motta |
FPGA Implementation for Direct Kinematics of a Spherical Robot Manipulator. |
ReConFig |
2009 |
DBLP DOI BibTeX RDF |
Direct Kinematics, FPGA, Floating-point, Robot Manipulator, FSM |
18 | Sylvie Trudel, Alain Abran |
Functional Size Measurement Quality Challenges for Inexperienced Measurers. |
IWSM/Mensura |
2009 |
DBLP DOI BibTeX RDF |
Functional size, COSMIC - ISO 19761, measure, quality, FSM |
18 | Rainer Findenig, Florian Eibensteiner, Markus Pfaff |
Optimizing the Hardware Usage of Parallel FSMs. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
Scheduling, Resource Sharing, FSM, Serialization |
18 | Ronghua Liang, Mingmin Zhang, Zhen Liu 0002, Meleagros A. Krokos |
Cognitive and synthetic behavior of avatars in intelligent virtual environments. |
Virtual Real. |
2008 |
DBLP DOI BibTeX RDF |
Expression animation, Walking synthetic behavior, Expression cloning, Autonomous agent models, FSM |
18 | Hamidreza Amouzegar, Shahriar Mohammadi, Mohammad Jafar Tarokh, Anahita Naghilouye Hidaji |
A New Approach on Interactive SOA Security Model Based on Automata. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
Security, Web Service, Service Oriented Architecture, SOA, Finite State Machine, Automata, FSM |
18 | Sylvie Trudel, Alain Abran |
Improving Quality of Functional Requirements by Measuring Their Functional Size. |
IWSM/Metrikon/Mensura |
2008 |
DBLP DOI BibTeX RDF |
inspection, review, FSM, Functional requirements, Functional size measurement, COSMIC |