Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
Top Ranked Papers of
2008
on
Embedded Systems |
MBEES
All Conferences
RTAS
ECRTS
RTCSA
SEUS
SIES
CSREAESA
MBEES
WISES
Explore MBEES 2008 »
164
Voted
MBEES
2008
150
views
Embedded Systems
»
more
MBEES 2008
»
Composition of Model-based Test Coverage Criteria
15 years 5 months ago
Download
user.cs.tu-berlin.de
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
Mario Friske, Bernd-Holger Schlingloff, Stephan We...
claim paper
Read More »
81
click to vote
MBEES
2008
96
views
Embedded Systems
»
more
MBEES 2008
»
View-Centric Modeling of Automotive Logical Architectures
15 years 5 months ago
Download
sosa.ucsd.edu
Hans Grönniger, Jochen Hartmann, Holger Krahn...
claim paper
Read More »
All Subjects
Life Sciences
Algorithms
Applied Computing
Artificial Intelligence
Augmented Reality
Automated Reasoning
Bioinformatics
Biomedical Imaging
Biometrics
Business
Chemistry
Combinatorics
Communications
Computational Biology
Computational Geometry
Computational Linguistics
Computer Animation
Computer Architecture
Computer Graphics
Computer Networks
Computer Science
Computer Vision
Control Systems
Cryptology
Data Mining
Database
Digital Library
Discrete Geometry
Distributed And Parallel Computing
Document Analysis
ECommerce
Education
Electrical And Computer Engineering
Embedded Systems
Emerging Technology
Forensic Engineering
Formal Methods
FPGA
Fuzzy Logic
GIS
Hardware
Healthcare
Human Computer Interaction
Image Analysis
Image Processing
Information Technology
Intelligent Agents
Internet Technology
Knowledge Management
Languages
Logical Reasoning
Machine Learning
Management
Mathematics
Medical Imaging
Modeling and Simulation
Multimedia
Music
Natural Language Processing
Neural Networks
Operating System
Operations Research
Optimization
Pattern Recognition
Programming Languages
Robotics
Security Privacy
Sensor Networks
Signal Processing
Social Sciences
Software Engineering
Solid Modeling
System Software
Theoretical Computer Science
User Interface
Virtual Reality
Visual Languages
Visualization
VLSI
Wireless Networks
Embedded Systems
2010
2008
2007
views
votes
All Conferences
RTAS
ECRTS
RTCSA
SEUS
SIES
CSREAESA
MBEES
WISES
MBEES 2008 »