Watch the Dallas Symposium LIVE, and fundraiser auction
Ticket proceeds support mindat.org! - click here...
Log InRegister
Quick Links : The Mindat ManualThe Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
Home PageAbout MindatThe Mindat ManualHistory of MindatCopyright StatusWho We AreContact UsAdvertise on Mindat
Donate to MindatCorporate SponsorshipSponsor a PageSponsored PagesMindat AdvertisersAdvertise on Mindat
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
Minerals by PropertiesMinerals by ChemistryAdvanced Locality SearchRandom MineralRandom LocalitySearch by minIDLocalities Near MeSearch ArticlesSearch GlossaryMore Search Options
Search For:
Mineral Name:
Locality Name:
Keyword(s):
 
The Mindat ManualAdd a New PhotoRate PhotosLocality Edit ReportCoordinate Completion ReportAdd Glossary Item
Mining CompaniesStatisticsUsersMineral MuseumsClubs & OrganizationsMineral Shows & EventsThe Mindat DirectoryDevice SettingsThe Mineral Quiz
Photo SearchPhoto GalleriesSearch by ColorNew Photos TodayNew Photos YesterdayMembers' Photo GalleriesPast Photo of the Day GalleryPhotography

Straunstrup, J., Andersen, H.R., Hulgaard, H., Lind-Nielsen, J., Behrmann, G., Kristoffersen, K., Skou, A., Leerberg, HH., Theilgaard, N.B. (2000) Practical verification of embedded software. Computer, 33. 68-75 doi:10.1109/2.841786

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitlePractical verification of embedded software
JournalComputer
AuthorsStraunstrup, J.Author
Andersen, H.R.Author
Hulgaard, H.Author
Lind-Nielsen, J.Author
Behrmann, G.Author
Kristoffersen, K.Author
Skou, A.Author
Leerberg, HH.Author
Theilgaard, N.B.Author
Year2000 (May)Volume33
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
DOIdoi:10.1109/2.841786Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID6557761Long-form Identifiermindat:1:5:6557761:1
GUID0
Full ReferenceStraunstrup, J., Andersen, H.R., Hulgaard, H., Lind-Nielsen, J., Behrmann, G., Kristoffersen, K., Skou, A., Leerberg, HH., Theilgaard, N.B. (2000) Practical verification of embedded software. Computer, 33. 68-75 doi:10.1109/2.841786
Plain TextStraunstrup, J., Andersen, H.R., Hulgaard, H., Lind-Nielsen, J., Behrmann, G., Kristoffersen, K., Skou, A., Leerberg, HH., Theilgaard, N.B. (2000) Practical verification of embedded software. Computer, 33. 68-75 doi:10.1109/2.841786
In(2000) Computer Vol. 33. Institute of Electrical and Electronics Engineers (IEEE)

See Also

These are possibly similar items as determined by title/reference text matching only.

Lee, E.A. (2000) What's ahead for embedded software?. Computer, 33. 18-26 doi:10.1109/2.868693
Wei-Tek Tsai, , Lian Yu, , Feng Zhu, , Paul, R. (2005) Rapid Embedded System Testing Using Verification Patterns. IEEE Software, 22 (4) 68-75 doi:10.1109/ms.2005.103
Voas, J. (2000) Developing a usage-based software certification process. Computer, 33. 32-37 doi:10.1109/2.863965
Shokry, Hesham, Hinchey, Mike (2009) Model-Based Verification of Embedded Software. Computer, 42. 53-59 doi:10.1109/mc.2009.125
Voas, J., Whittaker, J.A. (2000) Toward a more reliable theory of software reliability. Computer, 33. 36-42 doi:10.1109/2.889091
Bacon, J., Moody, K., Bates, J., Chaoying Ma, , McNeil, A., Seidel, O., Spiteri, M. (2000) Generic support for distributed applications. Computer, 33. 68-76 doi:10.1109/2.825698
Nielsen, J. (1995) A home-page overhaul using other Web sites. IEEE Software, 12 (3) 75-78 doi:10.1109/52.382190
Bramberger, M., Doblander, A., Maier, A., Rinner, B., Schwabach, H. (2006) Distributed Embedded Smart Cameras for Surveillance Applications. Computer, 39. 68-75 doi:10.1109/mc.2006.55
O'Connell, E., Saidian, H. (2000) Can you trust software capability evaluations?. Computer, 33. 28-35 doi:10.1109/2.820036
van Ommering, R., van der Linden, F., Kramer, J., Magee, J. (2000) The Koala component model for consumer electronics software. Computer, 33. 78-85 doi:10.1109/2.825699
Holmes, W.N. (2000) The evitability of software patents. Computer, 33. 30-34 doi:10.1109/2.825692
 
and/or  
Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are Β© OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: August 22, 2025 08:32:32
Go to top of page