PROVER

מספר סימן

334000

מצב

רשום

תאריך רישום

02.03.2022

סוג סימן

סימן מסחר/שירות

לאומי/בינלאומי

לאומי

סיווג ניצה (סחורות/שירותים)

סוג 42שירותים מדעיים וטכנולוגייםסוג 9מכשירים מדעיים וחשמליים

תוכנות מחשב רשומות" כלומר כלים מבוססי תוכנה להגדרה" פיתוח ואימות תוכנות אחרות; תוכנות מחשב לאימות מערכות; תוכנות יישומי מחשב לבחירה ותצורה של ציוד לעיבוד נתונים בהתאם לקריטריונים שנקבעו מראש; מודולי תוכנה כלליים המיישמים נהלי החלטות כל אחד עבור לוגיקה מסוימת; שבבים (מעגלים משולבים); נתונים יישומי הנדסת תוכנה (קייס – הנדסת תוכנה בעזרת מחשב) מבוססי מחשב (תוכנה" מוקלטת); תוכנות מחשב רשומות לאימות מערכות חומרה ותוכנה; כל הסחורות נכללות בסוג 9.; שירותי מחקר ופיתוח בנוגע למוצרים חדשים בתחום תכנות מחשבים ואימות בטיחות ; תכנות מחשבים; עדכון ואימות של תוכנות מחשב; ייעוץ בתחום פיתוח מערכות ואימות מערכות מחשוב; שירותי מחקר ופיתוח בנוגע לטכנולוגיית אימות רשמית; עיצוב תעשייתי; שירותי הנדסה בכל הקשור למודולי תוכנה מיוחדים כולל בדיקת שקילות של מעגלים משולבים (שבבים); פתרונות אימות אוטומטיים המבוססים על טכניקות בדיקת מודלים; השכרת תוכנת מחשב; הקשורים כולם לתוכנות לקונפיגורציה" פיתוח ואימות של תוכנה אחרת; כל השירותים נכללים בסוג 42.

בעל הסימן הרשום

Prover Technology AB

מיופה כוח (בא-כוח הסימן)

ד"ר יצחק הס ושותפיוDr. Yitzhak Hess & Partners

כל הפרטים מצוטטים ממאגר סימני המסחר הרשמי, כפי שנמסרו.